『Pragmatic Type-Level Design』
https://gyazo.com/c385179013926c154270ad129fe4e45e
Practical introduction into Haskell types: design principles, design patterns, methodologies, approaches
2023半ばに完成予定らしい
Book topics:
type-level design
type-level eDSLs
complexity of solutions
type-level Haskell features
Inversion of Control and Dependency Injection
domain modeling
type-level functional interfaces
design of business logic
interaction with impure subsystems
testing
GitHub repo: Pragmatic-Type-Level-Design